Complete lattice

Results: 49



#Item
11facultad de inform´atica universidad polit´ecnica de madrid Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis Dragan Ivanovi´c

facultad de inform´atica universidad polit´ecnica de madrid Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis Dragan Ivanovi´c

Add to Reading List

Source URL: clip.dia.fi.upm.es

Language: English - Date: 2011-01-13 05:13:43
12Design of class hierarchies based on concept (Galois) lattices Design of class hierarchies based on concept (Galois) lattices Robert Godin1, Hafedh Mili1, Guy W. Mineau2, Rokia Missaoui1, Amina Arfi1, Thuy-Tien Chau1

Design of class hierarchies based on concept (Galois) lattices Design of class hierarchies based on concept (Galois) lattices Robert Godin1, Hafedh Mili1, Guy W. Mineau2, Rokia Missaoui1, Amina Arfi1, Thuy-Tien Chau1

Add to Reading List

Source URL: intra.info.uqam.ca

Language: English - Date: 2009-08-04 12:55:11
13Logic and Lattices for Distributed Programming Neil Conway William Marczak Peter Alvaro Joseph M. Hellerstein

Logic and Lattices for Distributed Programming Neil Conway William Marczak Peter Alvaro Joseph M. Hellerstein

Add to Reading List

Source URL: db.cs.berkeley.edu

Language: English - Date: 2012-06-22 16:27:05
14Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-08-27 06:04:04
15A linear delay algorithm for building concept lattices Yang Huang National Center for Biotechnology Information, NLM, NIH Joint work with Martin Farach-Colton work done at Department of Computer Science, Rutgers Universi

A linear delay algorithm for building concept lattices Yang Huang National Center for Biotechnology Information, NLM, NIH Joint work with Martin Farach-Colton work done at Department of Computer Science, Rutgers Universi

Add to Reading List

Source URL: www.cs.ucr.edu

Language: English - Date: 2008-06-23 13:16:32
16Logic and Lattices for Distributed Programming Neil Conway William R. Marczak Peter Alvaro

Logic and Lattices for Distributed Programming Neil Conway William R. Marczak Peter Alvaro

Add to Reading List

Source URL: www.neilconway.org

Language: English - Date: 2012-10-01 13:10:36
17Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2014-08-27 06:04:04
18Poset models of topological spaces Dongsheng Zhao Abstract. We consider poset models of topological spaces and show that every T1 -space has an bounded complete algebraic poset model, thus give a positive answer to a que

Poset models of topological spaces Dongsheng Zhao Abstract. We consider poset models of topological spaces and show that every T1 -space has an bounded complete algebraic poset model, thus give a positive answer to a que

Add to Reading List

Source URL: math.nie.edu.sg

Language: English - Date: 2010-07-05 04:28:20
19Theory and Applications of Categories, Vol. 11, No. 11, 2003, pp. 252–282. CONTINUOUS CATEGORIES REVISITED ∗) ´ ´ ∗)

Theory and Applications of Categories, Vol. 11, No. 11, 2003, pp. 252–282. CONTINUOUS CATEGORIES REVISITED ∗) ´ ´ ∗)

Add to Reading List

Source URL: www.tac.mta.ca

Language: English - Date: 2003-05-28 11:36:19